Sfoglia per Serie LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic
2014-01-01 S. Berardi; S. Steila
Solvability in a probabilistic setting
2020-01-01 S. Ronchi Della Rocca, U. Dal Lago, C. Faggian
Standardization of a Call-By-Value Lambda-Calculus
2015-01-01 Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, S.
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
2021-01-01 James C. A. Main, Mickael Randour, Jeremy Sproston
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic | 2014 | S. Berardi; S. Steila | |
Solvability in a probabilistic setting | 2020 | S. Ronchi Della Rocca, U. Dal Lago, C. Faggian | |
Standardization of a Call-By-Value Lambda-Calculus | 2015 | Guerrieri, Giulio; Paolini, Luca; Ronchi Della Rocca, S. | |
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives | 2021 | James C. A. Main, Mickael Randour, Jeremy Sproston |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile